Temporal analysis of data flow control systems
نویسندگان
چکیده
منابع مشابه
Temporal analysis of data flow control systems
Due to their distributed/parallel and data-driven nature, control systems can easily be modeled according to a data ow approach. Control systems are very often real-time systems therefore a formalism able to capture timing is required. In this paper we introduce a data ow model that includes time and priority for specifying real-time control systems and we give its formal semantics. The control...
متن کاملIntegration of temporal analysis and control analysis of metabolic systems.
A theory is developed that integrates approaches to the analysis of pathway transient response and metabolic control analysis. A Temporal Control Coefficient is defined that is a measure of the system's transient response to modulation of enzyme activity or concentration. The approach allows for the analysis of the establishment of a steady state from rest, of the system's 'agility' of response...
متن کاملObject-based Control/Data-flow Analysis
Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy...
متن کاملImproving Software Systems by Flow Control Analysis
Using agile methods during the implementation of the system that meets mission critical requirements can be a real challenge. The change in the system built of dozens or even hundreds of specialized devices with embedded software requires the cooperation of a large group of engineers. This article presents a solution that supports parallel work of groups of system analysts and software develope...
متن کاملControl-Flow Analysis and Type Systems
We establish a series of equivalences between type systems and control-flow analyses. Specifically, we take four type systems from the literature (involving simple types, subtypes and recursion) and conservatively enrich them to reason about control-flow information. Similarly, we take four standard control-flow systems and conservatively enrich them to reason about type consistency. Our main r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 1998
ISSN: 0005-1098
DOI: 10.1016/s0005-1098(97)00176-3